查看原文
其他

ZKP 共学社区进阶招募 | 学习 Vitalik,用 Python 实现 PLONK!

Creators Antalpha Labs 2023-04-15

 🥥

ZKP 共学社区进阶招募
学习 Vitalik,用 Python 实现 PLONK

ZKP 共学第二期,即日起正式开启啦!


在第一期 ZKP 共学中,共计有 190+ 小伙伴参与,通过每周一次 Office Hour 、主题技术分享,以及社区答疑、Github 立项组队等方式,我们对 ZKP 的数理基础、协议和电路等知识进行了深入学习。


共学结束后,共有 6 位优秀成员免试或面试通过,受邀到泰国清迈,加入到为期 21 天的线下 ZKP HackerHouse,与来自亚、欧、美、澳等不同国家,以及以太坊、Polygon zkEVM 等顶尖项目方的开发者一起,进行了 ZKP 方向的交流探索与协作开发。

清迈  ZKP HakcerHouse


与此同时,@0xMantle 还为 Antalpha HackerHouse 和 ZKP 共学社区专门提供了线上 ZKP Hackthon,共 $7500 丰厚奖金邀请大家参与一起 Build。


线下 HackerHouse 与线上共学联动,实时同步技术分享,探讨 ZKP 前景趋势和项目 idea,组队开发的热烈气息,也从线下一直延伸到了线上。


我想在其他场域里,你很难感受到像 ZKP 共学一样的氛围,短期内高度投入,大家互相帮助,答疑解惑,「你看懂了给咱讲讲」近乎成了这个共学社区的精神纲领。


评价与反馈

滑动查看



共学社区 / ZKP Co-Learn 

第二期的 ZKP 共学相较第一期做了优化,在保留原必备知识的基础上,我们将从理论进阶实践,以 PLONK 协议的学习为例,使用 Python 对其进行代码实现。


之所以选择 PLONK,因其作为一种简洁、高效的 ZKP 实现协议,具有很强的扩展性和适配性,包括 ZKSync、Matter Labs 等项目方都使用了该协议。


因此第二期的 4 周的时间里,我们将依托开源框架,沿着 Vitalik 的学习方式,理解 PLONK 原理的同时,通过代码练习加强认知。总的来说,相比第一期 ZKP,第二期将有如下一些进阶升级:

👨🏻‍💻 实践作业

代码实现为主,理论、数学为辅,依托 0xPARC Plonkathon 项目,每周分拆实现步骤,平滑难度,夯实基础,拾级而上。


🎯 聚焦实现

裁剪深入的原理知识,聚焦于协议每部分 Python 具体实现,跳出兔子洞,不再深陷于复杂的数学逻辑。


🚀 更多项目组队

越来越多的小伙伴提出来了新的想法,比如 zkERC20、 NFT ZK 隐私保护、 zkKYC、zkEmail、zkp+Chatgpt fine-tuning  等等,组队开发的过程中,嘉宾和 Maintainer 们将提供指导和支持。

具体可见 Github Discussion 🔗 
https://github.com/Antalpha-Labs/zkp-co-learn/discussions/72


💰 多项成长 Bounty

在学习的过程中 ① 撰写  ZKP 技术相关的文章,收录首发 Antalpha Labs ,② 在共学社区内进行 30mins 以上 ZKP 技术分享,③ 组织同城的 ZKP 线下活动,都可以获得现金成长 Bounty!


 👩🏻‍🎓 优秀 Maintainer 加入

我们从第一期成员中,发掘和邀请若干名专注认真,乐于助人的共学小伙伴,他们愿意专研,帮人答疑解惑,将作为 Maintainer 加入,和大家一起组队做项目  & 打 Hackathon。

沉淀了问答和讨论的 ZKP Github Discussion


共学计划 / Co-Learn Plan

共学时长  4 周


共学安排  阅读共学材料及其它必要辅助资料

               每周一次 OH,Maintainer 带领讨论

               每周一次技术分享,深入拆解原理

               社群长期有效,资深嘉宾分享、答疑


实践开发  基于开源框架,每周一次作业练习

               用 Python 完成 PLONK 核心实现
               组队开发,参加 ZKP Hackathon


共学地点  微信社群/Zoom/腾讯会议/Github


共学要求  有 ZKP 数学、协议和电路基础*

               必须具备英文听、读能力
               一定熟练科学上网


时间投入  建议每周至少 8 个小时 


集结期


🎊 即日起,开启正式招募
填写文末报名表加入共学小组

共学成员自我介绍,互相了解,分享技能与idea

完整日程表见 Notion🔗 https://reurl.cc/n7Aol2

模块一


4 月 22 日 - 4 月 29 日

理解 PLONK 基础知识,实现 Setup

阅读共学资料,自学其它必要的辅助资料

🧑‍💻 实践作业
完成 setup.py 中的 commit 和 verification_key 函数,并通过测试

模块二


4 月 30 日 - 5 月 6 日

深入理解 PLONK 中的 Proof 原理;用 Python 实现 Prover(Part 1)

🧑‍💻 实践作业
完成 prover.py 文件中的 Round 1 和 Round 2 相关函数,并通过测试

模块三


5 月 7 日 - 5 月 13 日

深入理解 PLONK 中的 Proof 原理;用 Python 实现 Prover(Part 2)

🧑‍💻 实践作业
完成 prover.py 文件中的 Round 3、Round 4、Round 5 相关函数,并通过测试

模块四


5 月 14 日 - 5 月 20 日

深入理解 PLONK 中的 Verify 原理;用 Python 实现 Verifier

🧑‍💻 实践作业
完成 verifier.py 文件中的

VerificationKey.verify_proof_unoptimized 和

VerificationKey.verify_proof 函数,并通过测试

结营分享


5 月 21 日 - 5 月 27 日

🎉 本期共学正式完结

共学小组评估学习成果,进行优秀笔记或成果展示

根据学习成果、社区贡献值等发放奖励
依据共学点返还部分学员报名费

* 包括但不限于椭圆曲线、双线性配对、Prover Verifier 的交互过程,以及 Setup 等 zk-Snark 知识。


共学报名 / Join Us

扫描二维码点击阅读原文报名


🐧  正价票  399 / 人

🕊  早鸟票  349 / 人(限量,先到先得)


可添加下方二维码咨询


认证与奖励 / Certificate & Reward

  • 完成本期 ZKP 学习和作业,可直接进入后期 ZKP 进阶共学;

  • 完成本期 ZKP 学习和作业,有机会获得 EthStorage、Antalpha Venture 等机构实习或工作推荐; 

  • 撰写 ZKP 技术文章,或在社群内知识分享,可获得相应的成长 Bounty

  • 参与结营分享 ZKP 共学成果,经评选出的优秀社区成员,可获得 706 Creators  共学奖励金


共学返还体系 / Refund

  • 成为 Maintainer 积极回答技术问题,推动学员完成作业,可获 4 共学点;

  • 输出 ZKP 学习成果,并结营分享可获 4 共学点(可与 Bounty 叠加);

  • 撰写并分享 ZKP 开发经验或学习笔记,每篇可获 2 共学点(可与 Bounty 叠加);

  • 邀请好友报名共学,每邀请一位可获 2 共学点;

  • 每位参与者累计达到 10 共学点后,可获得 100% 费用返还。


共学发起人 / Organizers

  Harry Liu

Antalpha Labs 核心贡献者 & Rebase社区联合发起人。从 2018 年至今,一直专注于 web3 开发者社区的建设以及 web3 相关技术的布道。

  Andrew
pku alumnus,曾在华为、华泰、平安等公司任职量化交易、AI研究。self-taught并深入研究以太坊layer2、zkp等领域,目前是数字游民。


  孝羽

706 Creators 小组发起人,Sui 大使,MoveFuns DAO 轮值主理人。前科技媒体,自由撰稿人,现文转码的 AI 算法学徒,长久的数字游民,喜欢创意和创作的自由人。


  Demian
前算法工程师,现独立全栈&合约开发,zkp 爱好者。706 跨学科小组及各种奇怪共学活动发起人,706 Creators 核心贡献者,致力于探索 the wider Web3 scene。


特邀嘉宾 / Special Guest

  郭宇

安比实验室创始人,曾经高校教育从业者,关注领域为零知识证明,智能合约安全,程序语言理论。


  Qi Zhou
周期博士是web3://协议,EthStorage 和 QuarkChain 的创始人,包含 EIP-4804/4972/5018 在内等多个 EIPs的作者(或合作者之一),现主要工作在 EIP-4804: Web3 URL 标准和 EthStorage 大规模可编程的以太坊存储层。本人及团队获得多个以太坊基金会的grant支持,包括数据可用和L1存储证明方面的研究,感兴趣方向主要是研究和开发未来的 web3 基础设施,包括分片技术,数据可用技术和 PoW/PoS 混合共识技术。


  Carter

OAS (Open Asset Standards)创始人& CEO。曾是Xbox Underground 最年轻的成员,也是使命召唤 modding 社区最知名的成员。Carter 在高中时期创立了 Minecraft  modding 平台 ModePE,在安卓和 iOS 有累计过两千万的下载量及超过 15万 的开发者使用。


联合发起机构

Antalpha Labs

Antalpha Labs 是一个非盈利的 Web3 开发者社区,致力于通过发起和支持开源软件推动 Web3 技术的创新和应用。

706 Creators

以「行动」、「产出」和「商业可持续」为导向的共学共创小组,简单理解的话,它是区隔于 706 对话沙龙、讲座、知识分享等人文社科类活动,而衍生出来的更偏创意、技术、共建创造的分支,706 creators create something together。


共学赞助机构

EthStorage

EthStorage 是一个基于以太坊的二层存储网络,采用独创的零知识存储证明技术,确保链下数据副本的安全,提供链上 CRUD 操作,兼容各种新型应用如全链NFT、去中心化网站等。EthStorage 是首个获得以太坊 L2 的生态基金的支持的存储 rollup 项目,预计 pre-alpha 测试网将于上半年上线。



联合支持机构

SECBIT
SECBIT(安⽐)实验室专注于智能合约安全与零知识证明。

Scroll

Scroll是一个字节码级别拓展以太坊,并且致力于对开发者最友好的zk-Rollup,可实现对现有以太坊应用程序和工具的原生兼容,为下一个十亿加密用户提供服务。

OAS

OAS (Open Asset Standards) 是基于零知识证明技术构建的下一代智能合约协议,致力于通过其特有的基于零知识证明构建的底层,将 Web2 开发者及用户带入 Web3,能够实现的独特运用包括实时动态可变 NFT 等。

Manta Network
Manta Network 是基于零知识证明(ZKP)的可编程隐私Layer1。

Mina
Mina 是全球最轻量级区块链,由参与者参与治理, Mina 基金会管理。Mina 采用递归 zk-SNARK 实现 22kb 大小的链,是第一个实现了零知识智能合约(zkApp)的高效实施性和简易可编程性的一层网络,在现实与加密货币间建立私密网关。

PlanckerDAO
PlanckerDAO 是一个以太坊建设者的社区,我们为开发者、产品工程师、研究员提供社区和资源一起进行 Ethereum 生态共创。

Rebase 社区

Rebase 是一个区块链行业的开发者社区, 通过技术信仰连接中国的 web3.0 开发者。

seeDAO

中国最具影响力的DAO孵化器,也是一个自由的数字王国。

Buidler DAO

“Move over hodl, it’s time to buidl!” Buidler DAO 聚集投研、技术、运营等领域的 Web3 实干家,以 DAO 的方式组织内容输出和产品实践,建立 Web3 人才网络和项目加速器;以自身实践打造 SocialDAO 治理范式和 DAO Tools 解决方案。

ThubaDAO

ThubaDAO 由热衷于区块链技术研究的清华学生 ,自发组建、自主管理的学生组织 ,旨在成为连接中外高校区块链领域的桥梁 ,致力于教育和培养Web3的未来领军人才。

MoveFuns DAO

面向 Move 开发者的 DAO,主要目的是联合开发者社区,一起构建多链的 Move 生态基础设施。Move Funs,Writing Move funs and makes fun!

PlanckerDAO
PlanckerDAO 是一个以太坊建设者的社区,我们为开发者、产品工程师、研究员提供社区和资源一起进行 Ethereum 生态共创。

DRK Lab
DRK Lab 是专注于Web3领域的投资孵化机构,致力于帮助有才华、践行长期主义价值观的创业者,共同建设一个有机的 Web3 世界。

Starknet 中文社区
致力于 Starknet 推广,服务开发者融入 StarkNet 生态。
我们的使命是汇聚中文领域建设者,一起推动 Starknet 和 L2 发展,欢迎开发者和 Cairo 爱好者加入我们。

BlockManiaDAO
专注于内存块链技术和 Web3 前沿发展的去中心化自治组织,汇集全球顶级的科学家、企业家、艺术家和思想家,共同探讨Web3领域的核心问题和挑战,激发创新思维、分享知识并催生前所未有的解决方案。

Web3行研会

Web3行研会是一个学习分享Web3技术为主的平台。目前活动主要分两部分:每周一下午2点的线上分享以一周新闻简报回顾为主,内含多篇最新研报精讲;每周五上午10点的线上分享以专题的技术讨论和讲座为主,以面向程序员为主。


ECN
全称为 Ethereum Community Network,旨在提高大众对以太坊区块的认知与采用,专注于教育、社区建设和网络构建。

Hacker Dōjō 

Hacker Dōjō 是由 hacker 共建的加密、Web3前沿技术开源知识社区。Dōjō 会以直播/音频/文字等形式定期组织分享 session,分享主题主要覆盖 L1 和 L2 的共识算法,架构等前沿技术。

元宇宙特攻队
引介原创新思想新项目,团结元宇宙早期建设者,推动下一代互联网早日到来。

FutureForce DAO

FutureForce DAO 是面向数字创意从业者的工具策展 DAO,致力于成为 Web3 的 producthunt + github。

Social Layer

一个主观的、关系型的、可编程的,由 SBT 构建的社会网络,可以将你的关系价值结晶为链上徽章,你可以在这个网络中呈现出一个体现你的多元角色、价值观和共识的去中心化身份,你也可以通过可组合徽章的将社区中的关系结构编译为代码并开源共享,实现人人可参与的可编程社会网络愿景。



设计丰收 DESIGNHarvests

NICE COMMUNE 好公社是一个设计驱动的试图融合不同社群的文化交流载体,一个未来生活的原型场。 

0xCUHKSZ

团结中大力量,链接港深两地,打造大湾区链协核心。

复旦大学区块链协会

凝聚复旦人才,打造复旦最大的技术社区。

北邮链协

BUPT3 DAO是一个源自北京邮电大学,以培养web3技术人才为核心的DAO。

您可能也对以下帖子感兴趣

文章有问题?点此查看未经处理的缓存